Marina Lenisa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Linear realizability and full completeness for typed lambda-calculi

Samson Abramsky, Marina Lenisa

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 579 KB

english, 2005

2

Preface

Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 72 KB

english, 2004

3

Functors Determined by Values on Objects

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 320 KB

english, 2006

4

Modeling Fresh Names in the π-calculus Using Abstractions

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 347 KB

english, 2004

5

Coalgebraic Description of Generalized Binary Methods

Furio Honsell, Marina Lenisa, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 231 KB

english, 2006

6

A Framework for Defining Logical Frameworks

Furio Honsell, Marina Lenisa, Luigi Liquori

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 704 KB

english, 2007

7

Category theory for operational semantics

Marina Lenisa, John Power, Hiroshi Watanabe

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 259 KB

english, 2004

8

A type assignment system for game semantics

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 454 KB

english, 2008

9

Semantical analysis of perpetual strategies in λ-calculus

Furio Honsell, Marina Lenisa

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.81 MB

english, 1999

10

Generalized Coiteration Schemata

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

11

From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 241 KB

english, 1999

12

Coalgebraic Coinduction in (Hyper)set-theoretic Categories

Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.45 MB

2000

13

Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads

Marina Lenisa, John Power, Hiroshi Watanabe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.42 MB

2000

14

Preface: Volume 62

Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 45 KB

english, 2002

15

Preface: Volume 44, Issue 1

Andrea Corradini, Marina Lenisa, Ugo Montanari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 47 KB

english, 2001

16

Properties of Set Functors

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 359 KB

english, 2004

17

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language

Furio Honsell, Marina Lenisa, Rekha Redamalla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 336 KB

english, 2004

18

Some Properties and Some Problems on Set Functors

Daniela Cancila, Furio Honsell, Marina Lenisa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 368 KB

english, 2006

19

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic

Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 271 KB

english, 2002

20

Axiomatic Characterizations of Hyperuniverses and Applications

MARCO FORTI, FURIO HONSELL, MARINA LENISA

Journal:

Annals of the New York Academy of Sciences

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

21

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Circular Coinduction: A Proof Theoretical Foundation

Kurz, Alexander, Lenisa, Marina, Tarlecki, Andrzej

Year:

2009

Language:

english

File:

PDF, 332 KB

english, 2009

22

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 || Characterising Behavioural Equivalence: Three Sides of One Coin

Kurz, Alexander, Lenisa, Marina, Tarlecki, Andrzej

Year:

2009

Language:

english

File:

PDF, 475 KB

english, 2009

23

[Lecture Notes in Computer Science] Algebra and Coalgebra in Computer Science Volume 5728 ||

Kurz, Alexander, Lenisa, Marina, Tarlecki, Andrzej

Year:

2009

Language:

english

File:

PDF, 8.70 MB

english, 2009

24

An axiomatization of partial n-place operations

FORTI, MARCO, HONSELL, FURIO, LENISA, MARINA

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 444 KB

english, 1997

25

Preface to Special Issue: Coalgebraic methods in computer science

CORRADINI, ANDREA, LENISA, MARINA, MONTANARI, UGO

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 179 KB

english, 2003

26

Coalgebraic description of generalised binary methods

HONSELL, FURIO, LENISA, MARINA, REDAMALLA, REKHA

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 363 KB

english, 2007

27

Multigames and strategies, coalgebraically

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 898 KB

english, 2015

28

[ACM Press the seventh international workshop - Copenhagen, Denmark (2012.09.09-2012.09.09)] Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice - LFMTP '12 - LF P

Honsell, Furio, Lenisa, Marina, Liquori, Luigi, Maksimovic, Petar, Scagnetto, Ivan

Year:

2012

Language:

english

File:

PDF, 732 KB

english, 2012

29

An open logical framework

Honsell, Furio, Lenisa, Marina, Scagnetto, Ivan, Liquori, Luigi, Maksimovic, Petar

Journal:

Journal of Logic and Computation

Year:

2013

Language:

english

File:

PDF, 1.60 MB

english, 2013

30

Coinductive characterizations of applicative structures

HONSELL, FURIO, LENISA, MARINA

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 444 KB

english, 1999

31

Equivalences and Congruences on Infinite Conway Games

Honsell, Furio, Lenisa, Marina, Redamalla, Rekha

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2012

Language:

english

File:

PDF, 502 KB

english, 2012